From af1d3b64a2687ec2587193bb7f3827da2ea55dac Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Mon, 31 May 1993 06:07:08 +0000 Subject: [PATCH] (do-install): Copy the DOC-* files from the build etc directory, as well as lots of things from ${srcdir}/etc. --- Makefile.in | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Makefile.in b/Makefile.in index d0a902f95cc..ea5228898b4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -319,6 +319,8 @@ Makefile: ## source exists and is distinct from the destination. install: all do-install +### Note that we copy the DOC-* files from the build etc directory +### as well as lots of things from ${srcdir}/etc. do-install: mkdir (cd lib-src; \ $(MAKE) install ${MFLAGS} prefix=${prefix} \ @@ -346,6 +348,9 @@ do-install: mkdir rm -f $${subdir}/*~ ; \ done) ; \ done + [ `(cd etc; /bin/pwd)` != `(cd ${srcdir}/etc; /bin/pwd)` ] \ + && (echo "Copying etc/DOC* ..." ; \ + (cd etc; tar cf - DOC*)|(cd ${etcdir}; umask 0; tar xvf - )) -[ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ] \ && (cd ${srcdir}/info ; \ if [ ! -f ${infodir}/dir ] && [ -f dir ]; then \ -- 2.30.2